181. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
9
.
S3
1971
182. Proof theory and intuitionistic systems
پدیدآورنده : / Bruno Scarpellini
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
183. Proof theory and logical complexity
پدیدآورنده : Girard, Jean-Yves
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G57
1987
184. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
185. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
186. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
187. Proof theory for fuzzy logics
پدیدآورنده : / George Metcalfe,Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Proof theory,fuzzy logics
رده :
511
.
3
M588p
188. Proof theory for fuzzy logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Fuzzy logic. ; Proof theory. ;
189. Proof theory of impredicative subsystems of analysis /
پدیدآورنده : Wilfried Buchholz, Kurt Schütte
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical analysis,Proof theory
190. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
191. Proof theory: the first step into impredicativity
پدیدآورنده : Pohlers, Wolfram
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
P64
2008
192. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
193. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
194. Proofs and fundamentals
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Set theory. ;
195. Proofs and fundamentals
پدیدآورنده : / Ethan D. Bloch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Set theory
رده :
E-BOOK
196. Proofs and fundamentals: a first course in abstract mathematics
پدیدآورنده : Bloch, Ethan D.
موضوع : ، Proof theory,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
197. Proofs and fundamentals : a first course in abstract mathematics
پدیدآورنده : Bloch, Ethan D., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Set theory
رده :
QA
9
.
54
.
B52
198. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
199. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
200. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G58
